<html><body>jEdit can be customized to suit your tastes in the
<b>Utilities</b>&gt;<b>Global Options</b> dialog box.</body></html>
